• Environment mobility. Moving the desktop around. 

      Renesse, Robbert van; Johansen, Dag; Johansen, Håvard (Research report; Forskningsrapport, 2004)
      In this position paper, we focus on issues related to middleware support for software mobility in ad hoc and pervasive systems. In particular, we are interested in moving the computational environment of a mobile user following his trajectory. We present details of WAIFARER, a prototype implementation that automatically saves and restores application level state to support this mobility. Security, ...
    • An introduction to the TACOMA distributed system. Version 1.0 

      Johansen, Dag; Renesse, Robbert van; Schneider, Fred B. (Research report; Forskningsrapport, 1995-06)
      This report briefly introduces TACOMA Version 1.0. This distributed system supports agents, computations that can roam the internet. The report presents the TACOMA project, the computational model, how to get started, and the basic TACOMA abstractions.
    • Omni-Kernel: An Operating System Architecture for Pervasive Monitoring and Scheduling 

      Kvalnes, Åge; Johansen, Dag; Renesse, Robbert van; Schneider, Fred B.; Valvåg, Steffen (Research report; Forskningsrapport, 2013)
      Clouds commonly employ virtual machine technology to leverage and efficiently utilize computational resources in data centers. The workloads encapsulated by virtual machines contend for the resources of their hosting machines, and interference from resource sharing can cause unpredictable performance. Despite the use of virtual machine technology, the role of the operating system as an arbiter of ...
    • Performance isolation and adaption in the Vortex Kernel 

      Kvalnes, Aage; Renesse, Robbert van; Johansen, Dag (Research report; Forskningsrapport, 2003-01-10)
      Vortex is a new multiprocessor operating system kernel intended for emerging Internet service applications. The architecture is based on SEDA's staged computational model. Vortex provides mechanisms for performance isolation and dynamic adaptation. Performance results validate that the resource control mechanisms of Vortex are effective, and that Vortex significantly outperforms Linux on single-threaded ...
    • Policies and metrics for fair resource sharing 

      Renesse, Robbert van; Kvalnes, Aage; Zagorodnov, Dmitrii; Johansen, Dag (Research report; Forskningsrapport, 2006)
      Performance isolation is essential to operating systems shared by dependable services. Unfortunately, most such systems, including real-time operating systems and VMMs, only fairly divide and account for CPU cycles. We submit that dependable services require specifying and enforcing policies for all resources, and that current metrics for evaluating fair sharing are insufficient. This paper proposes ...
    • Vortex. An event-driven multiprocessor operating system supporting performance isolation 

      Renesse, Robbert van; Kvalnes, Aage; Johansen, Dag; Arnesen, Audun (Research report; Forskningsrapport, 2003-06-13)
      Vortex is a new multiprocessor operating system that is entirely event-driven. The Vortex kernel, as well as its applications, are structured as stagesthat communicate through event passing. Each stage is a small finite state machine. The event architecture is efficient and allows Vortex to balance load across the processors automatically. Vortex uses an Event Scheduling Tree (EST) on each CPU. ...